package org.umlviewer.model.sequence_diagram;

import org.jdom2.Element;
import org.jdom2.Namespace;
import org.umlviewer.model.Constants;
import org.umlviewer.model.UMLElement;

/**
 *Las referencias generadas por los mensajes en los dg de seq
 * @author Rafa
 */
public class OccurrenceSpecification extends UMLElement{

    private String covered;
    
    public OccurrenceSpecification(String covered){
        super();
        this.covered = covered;
    }

    public String getCovered() {
        return covered;
    }

    public void setCovered(String covered) {
        this.covered = covered;
    }
    
    public Element xmiSerialize(){
        Namespace xmins = Constants.XMINAMESPACE;
        Element caso = new Element("fragment");
        caso.setAttribute("type","uml:OccurrenceSpecification",xmins);
        caso.setAttribute("id",getId(),xmins);
        //caso.setAttribute("name",getName());
        caso.setAttribute("covered",covered);
        return caso;
    }
    
}
